0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Formal Specifications" - alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "formal specifications" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Rebeca for Actor Analysis in Action

    This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Shar…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Software Engineering and Formal Methods

    This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6¿8, 2024.The 23 full p…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 76,66
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.